Issue2169.agda:17,7-11
0.0 != -0.0 of type Float
when checking that the expression refl has type 0.0 ≡ -0.0
